Principles of the Spin Model Checker
by Mordechai Ben-Ari
ISBN 13: 9781846287695
Format: Paperback (216 pages) Publisher: Springer Published: 08 Jan 2008
Save for later
Mathematical Logic for Computer Science
ISBN 13: 9781447141280
Format: Paperback (346 pages) Publisher: Springer Published: 17 Jun 2012